21![A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway](https://www.pdfsearch.io/img/a967f9d2d2d865ff212a296804a33659.jpg) | Add to Reading ListSource URL: heim.ifi.uio.noLanguage: English - Date: 2015-09-03 07:24:29
|
---|
22![A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2 A Generic Software Safety Document Generator Ewen Denney1 and Ram Prasad Venkatesan?,2 1 2](https://www.pdfsearch.io/img/408e88f0bfe8a241b9bb440fff5c866c.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: English |
---|
23![How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did How invariants help writing loops Author: Sander Kooijmans Document version: 1.2 Why this document? Did you ever feel frustrated because of a nasty bug in your code? Did](https://www.pdfsearch.io/img/3eae8ac919dcc8fda63a5edb09fc855a.jpg) | Add to Reading ListSource URL: gogognome.nlLanguage: English - Date: 2016-07-04 14:55:09
|
---|
24![Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias](https://www.pdfsearch.io/img/2a42bc753c3f9bfc3457a05b71ef9066.jpg) | Add to Reading ListSource URL: www.cs.tufts.eduLanguage: English - Date: 2010-03-12 16:07:46
|
---|
25![Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2 Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2](https://www.pdfsearch.io/img/76e600391a7172f5f9fb3dd28f5a2374.jpg) | Add to Reading ListSource URL: www.lri.frLanguage: English - Date: 2013-06-11 11:16:39
|
---|
26![Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2 Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2](https://www.pdfsearch.io/img/e58dc022a6a697d7f1f7a28983be244a.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2013-06-20 06:07:02
|
---|
27![GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation Derek Dreyer Ar tifact](https://www.pdfsearch.io/img/f60b9f3b329be96b8c11c8dac5c2e5d0.jpg) | Add to Reading ListSource URL: plv.mpi-sws.orgLanguage: English - Date: 2014-08-18 18:05:40
|
---|
28![The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible](https://www.pdfsearch.io/img/6585bfda040ce46c7bcc9fe62b210151.jpg) | Add to Reading ListSource URL: adam.chlipala.netLanguage: English - Date: 2016-01-02 15:47:17
|
---|
29![A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R A Compositional Natural Semantics and Hoare Logic for Low-Level Languages 1 Ando Saabas 2 and Tarmo Uustalu ∗,2 Institute of Cybernetics at Tallinn University of Technology Akadeemia tee 21, EETallinn, Estonia R](https://www.pdfsearch.io/img/7d04733e83d8bbb7e6abab4f2054c350.jpg) | Add to Reading ListSource URL: cs.ioc.eeLanguage: English - Date: 2006-10-16 19:31:58
|
---|
30![SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology SOS 2005 Preliminary Version A Compositional Natural Semantics and Hoare Logic for Low-Level Languages Ando Saabas and Tarmo Uustalu 1,2 Institute of Cybernetics at Tallinn University of Technology](https://www.pdfsearch.io/img/84aa159caa041839dad5533f28b01484.jpg) | Add to Reading ListSource URL: cs.ioc.eeLanguage: English - Date: 2005-09-22 14:37:02
|
---|